The Loomis–Sikorski Theorem for EMV -algebras
نویسندگان
چکیده
Recently, in [DvZa], we have introduced EMV -algebras which resemble MV -algebras but the top element is not guaranteed for them. For σ-complete EMV -algebras, we prove an analogue of the Loomis–Sikorski Theorem showing that every σ-complete EMV -algebra is a σ-homomorphic image of an EMV -tribe of fuzzy sets where all algebraic operations are defined by points. To prove it, some topological properties of the state-morphism space and the space of maximal ideals are established.
منابع مشابه
Loomis-Sikorski theorem and Stone duality for effect algebras with internal state
Recently Flaminio and Montagna, [FlMo], extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effect algebras. Having it, we generalize the Loomis–Sikorski Theorem for monotone σ-complete effect algebras with internal state. In addition, we show that the category of divisible state-morphism effect algebras satisfying (...
متن کاملA Spectral Theorem for Sigma Mv-algebras
MV-algebras were introduced by Chang, 1958 as algebraic bases for multi-valued logic. MV stands for "multi-valued" and MV algebras have already occupied an important place in the realm of nonstandard (mathematical) logic applied in several fields including cybernetics. In the present paper, using the Loomis-Sikorski theorem for cr-MV-algebras, we prove that, with every element a in a cr-MV alge...
متن کاملEntropy on effect algebras with Riesz decomposition property II: MV-algebras
We continue the study of entropy. In Part I, we have introduced basic properties of entropy. Here we concentrate mainly on the state space which allows us to understand the entropy better, Section 8, and we introduce also quotient effect algebras. Section 9 studies shortly the problem of a so-called entropy generator theorem for effect algebras or MV-algebras. The main results of the present pa...
متن کاملRobert Goldblatt Topological Proofs of Some Rasiowa - Sikorski Lemmas In memory of Leo Esakia
We give topological proofs of Görnemann’s adaptation to Heyting algebras of the Rasiowa-Sikorski Lemma for Boolean algebras; and of the Rauszer-Sabalski generalisation of it to distributive lattices. The arguments use the Priestley topology on the set of prime filters, and the Baire category theorem. This is preceded by a discussion of criteria for compactness of various spaces of subsets of a ...
متن کاملCantorBernstein property
The classical CantorBernstein theorem says that two sets X;Y which admit injective mappings X ! Y and Y ! X have the same cardinality. We obtain a di¤erent problem when the sets are equipped with an additional structure which should be preserved by the mappings (isomorphisms). It has been generalized to boolean algebras by Sikorski and Tarski: For any two -complete boolean algebras A and B and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017